$\forall$$a$, $b$:${\it kz}$:Knd$\times$Id fp$\rightarrow$ Top, $z$:Id.
\\[0ex]($z$ $\in$ update{-}spec{-}vars($a$ $\oplus$ $b$)) $\Leftrightarrow$ ($z$ $\in$ update{-}spec{-}vars($a$)) $\vee$ ($z$ $\in$ update{-}spec{-}vars($b$))